A New Model for Hard Real-Time Systems

نویسندگان

  • Patrick Meumeu Yomsi
  • Yves Sorel
چکیده

In this paper we study hard real-time systems composed of periodic preemptive tasks and address the scheduling problem on specific hardware platforms. For such a system, the failure to satisfy any constraint may have disastrous consequences. An important starting point for the analysis of such systems is the basic task model considered. In this paper we introduce a new model, relative to the ones in the literature, that is able to obtain stronger schedulability conditions. This new model provides a formal and rigorous specification of a task and helps us to describe the schedulability principle when tasks are scheduled by using a fixed-priority scheduling policy.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Markovian Delay Prediction-Based Control of Networked Systems

A new Markov-based method for real time prediction of network transmission time delays is introduced. The method considers a Multi-Layer Perceptron (MLP) neural model for the transmission network, where the number of neurons in the input layer is minimized so that the required calculations are reduced and the method can be implemented in the real-time. For this purpose, the Markov process order...

متن کامل

Design of a New Mathematical Model for Integrated Dynamic Cellular Manufacturing Systems and Production Planning

This paper presents a new mathematical model for integrated dynamic cellular manufacturing systems and production planning that minimizes machine purchasing, intra-cell material handling, cell reconfiguration and setup costs. The presented model forms the manufacturing cells and determines the quantity of machine and movements  during each period of time. This problem is NP-hard, so a meta-heur...

متن کامل

Simultaneous production planning and scheduling in a hybrid flow shop with time periods and work shifts

Simultaneous production planning and scheduling has been identified as one of the most important factors that affect the efficient implementation of planning and scheduling operations for the production systems. In this paper, simultaneous production planning and scheduling is applied in a hybrid flow shop environment, which has numerous applications in real industrial settings. In this problem...

متن کامل

Stability analysis and feedback control of T-S fuzzy hyperbolic delay model for a class of nonlinear systems with time-varying delay

In this paper, a new T-S fuzzy hyperbolic delay model for a class of nonlinear systems with time-varying delay, is presented to address the problems of stability analysis and feedback control. Fuzzy controller is designed based on the parallel distributed compensation (PDC), and with a new Lyapunov function, delay dependent asymptotic stability conditions of the closed-loop system are derived v...

متن کامل

Potentials of Evolving Linear Models in Tracking Control Design for Nonlinear Variable Structure Systems

Evolving models have found applications in many real world systems. In this paper, potentials of the Evolving Linear Models (ELMs) in tracking control design for nonlinear variable structure systems are introduced. At first, an ELM is introduced as a dynamic single input, single output (SISO) linear model whose parameters as well as dynamic orders of input and output signals can change through ...

متن کامل

New scheduling rules for a dynamic flexible flow line problem with sequence-dependent setup times

In the literature, the application of multi-objective dynamic scheduling problem and simple priority rules are widely studied. Although these rules are not efficient enough due to simplicity and lack of general insight, composite dispatching rules have a very suitable performance because they result from experiments. In this paper, a dynamic flexible flow line problem with sequence-dependent se...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009